7a3c99e36ef5261adee18ca4416a9ff120360d15,src/main/java/io/playpen/core/coordinator/local/Local.java,Local,notifyServerShutdown,#String#,314
Before Change
File dest = Paths.get(Bootstrap.getHomeDir().getPath(), "frozen", server.getUuid()).toFile();
FileUtils.copyDirectory(new File(server.getLocalPath()), dest);
FileUtils.copyFile(Paths.get(Bootstrap.getHomeDir().getPath(), "server-logs", server.getUuid() + ".log").toFile(),
Paths.get(dest.getPath(), "playpen_server.log").toFile());
}
catch(IOException e) {
After Change
FileUtils.copyDirectory(new File(server.getLocalPath()), dest);
FileUtils.copyFile(Paths.get(Bootstrap.getHomeDir().getPath(), "server-logs",
(useNameForLogs ? server.getName() : server.getUuid()) + ".log").toFile(),
Paths.get(dest.getPath(), "playpen_server.log").toFile());
}
catch(IOException e) {